\(\def\N{\mathbb{N}}\) \(\def\Z{\mathbb{Z}}\) \(\def\Q{\mathbb{Q}}\) \(\def\R{\mathbb{R}}\) \(\def\C{\mathbb{C}}\) \(\def\H{\mathbb{H}}\) \(\def\6{\partial}\) \(\DeclareMathOperator\Res{Res}\) \(\DeclareMathOperator\M{M}\) \(\DeclareMathOperator\ord{ord}\) \(\DeclareMathOperator\const{const}\) \(\DeclareMathOperator{\arccosh}{arccosh}\) \(\DeclareMathOperator{\arcsinh}{arcsinh}\) \(\DeclareMathOperator\id{id}\) \(\DeclareMathOperator\rk{rk}\) \(\DeclareMathOperator\tr{tr}\) \(\def\pt{\mathrm{pt}}\) \(\DeclareMathOperator\colim{colim}\) \(\DeclareMathOperator\Hom{Hom}\) \(\DeclareMathOperator\End{End}\) \(\DeclareMathOperator\Aut{Aut}\) \(\let\Im\relax\DeclareMathOperator\Im{Im}\) \(\let\Re\relax\DeclareMathOperator\Re{Re}\) \(\DeclareMathOperator\Ker{Ker}\) \(\DeclareMathOperator\Coker{Coker}\) \(\DeclareMathOperator\Map{Map}\) \(\def\GL{\mathrm{GL}}\) \(\def\SL{\mathrm{SL}}\) \(\def\O{\mathrm{O}}\) \(\def\SO{\mathrm{SO}}\) \(\def\Spin{\mathrm{Spin}}\) \(\def\U{\mathrm{U}}\) \(\def\SU{\mathrm{SU}}\) \(\def\g{{\mathfrak g}}\) \(\def\h{{\mathfrak h}}\) \(\def\gl{{\mathfrak{gl}}}\) \(\def\sl{{\mathfrak{sl}}}\) \(\def\sp{{\mathfrak{sp}}}\) \(\def\so{{\mathfrak{so}}}\) \(\def\spin{{\mathfrak{spin}}}\) \(\def\u{{\mathfrak u}}\) \(\def\su{{\mathfrak{su}}}\) \(\def\cA{\mathcal{A}}\) \(\def\cB{\mathcal{B}}\) \(\def\cC{\mathcal{C}}\) \(\def\cD{\mathcal{D}}\) \(\def\cE{\mathcal{E}}\) \(\def\cF{\mathcal{F}}\) \(\def\cG{\mathcal{G}}\) \(\def\cH{\mathcal{H}}\) \(\def\cI{\mathcal{I}}\) \(\def\cJ{\mathcal{J}}\) \(\def\cK{\mathcal{K}}\) \(\def\cL{\mathcal{L}}\) \(\def\cM{\mathcal{M}}\) \(\def\cN{\mathcal{N}}\) \(\def\cO{\mathcal{O}}\) \(\def\cP{\mathcal{P}}\) \(\def\cQ{\mathcal{Q}}\) \(\def\cR{\mathcal{R}}\) \(\def\cS{\mathcal{S}}\) \(\def\cT{\mathcal{T}}\) \(\def\cU{\mathcal{U}}\) \(\def\cV{\mathcal{V}}\) \(\def\cW{\mathcal{W}}\) \(\def\cX{\mathcal{X}}\) \(\def\cY{\mathcal{Y}}\) \(\def\cZ{\mathcal{Z}}\) \(\def\al{\alpha}\) \(\def\be{\beta}\) \(\def\ga{\gamma}\) \(\def\de{\delta}\) \(\def\ep{\epsilon}\) \(\def\ze{\zeta}\) \(\def\th{\theta}\) \(\def\io{\iota}\) \(\def\ka{\kappa}\) \(\def\la{\lambda}\) \(\def\si{\sigma}\) \(\def\up{\upsilon}\) \(\def\vp{\varphi}\) \(\def\om{\omega}\) \(\def\De{\Delta}\) \(\def\Ka{{\rm K}}\) \(\def\La{\Lambda}\) \(\def\Om{\Omega}\) \(\def\Ga{\Gamma}\) \(\def\Si{\Sigma}\) \(\def\Th{\Theta}\) \(\def\Up{\Upsilon}\) \(\def\Chi{{\rm X}}\) \(\def\Tau{{T}}\) \(\def\Nu{{\rm N}}\) \(\def\op{\oplus}\) \(\def\ot{\otimes}\) \(\def\t{\times}\) \(\def\bt{\boxtimes}\) \(\def\bu{\bullet}\) \(\def\iy{\infty}\) \(\def\longra{\longrightarrow}\) \(\def\an#1{\langle #1 \rangle}\) \(\def\ban#1{\bigl\langle #1 \bigr\rangle}\) \(\def\llbracket{{\normalsize\unicode{x27E6}}} \def\rrbracket{{\normalsize\unicode{x27E7}}} \) \(\def\lb{\llbracket}\) \(\def\rb{\rrbracket}\) \(\def\ul{\underline}\) \(\def\ol{\overline}\)

9  Laurent series and singularities

Definition 9.1 A formal bilateral series is an expression of the form

\[P=\sum_{n=-\iy}^\iy a_nT^n \tag{9.1}\]

with coefficients \(a_n\in\C.\) This is just a bi-infinite sequence \((a_n)_{n\in\Z}\) of complex numbers. Equivalently, we have a pair of formal power series \[\begin{align} P_+&=\sum_{n=0}^\iy a_nT^n, &P_-&=\sum_{n=1}^\iy a_{-n}T^n, \end{align}\] such that \[P=P_+(T)+P_-(T^{-1}).\]

\(P_-\) is called the principal part. The residue of \(P\) is the coefficient \(a_{-1}.\)

Definition 9.2 Let \(P\) be a bilateral series Equation 9.1. The domain \(D(P)\) is the set of all \(z\in\C\setminus\{0\}\) such that both series of complex numbers \[\begin{align*} P_+(z)&=\sum_{n=0}^\iy a_nz^n, &P_-(z^{-1})&=\sum_{n=1}^\iy a_{-n}z^{-n} \end{align*}\] converge. We obtain a complex function

\[D(P)\longra\C, P(z)\coloneqq\!\!\!\sum_{n=-\iy}^\iy a_nz^n\coloneqq P_+(z)+P_-(z^{-1}). \tag{9.2}\]

More generally, fix a center \(z_0\in\C.\) We then have a complex function \[P(z-z_0)\coloneqq\!\!\!\sum_{n=-\iy}^\iy a_n(z-z_0)^n\coloneqq P_+(z-z_0)+P_-\bigl((z-z_0)^{-1}\bigr).\]

with domain \(D(P,z_0)=z_0+D(P)\) differing from \(P(z)\) only by a translation.

Remark 9.1. Bi-infinite series of complex numbers \(\sum_{n\in\Z} a_n\) must be treated with care. We have avoided these issues by viewing them as pairs of ordinary series. Another approach would be to pick a bijection \(\nu\colon\N\to\Z\) and consider the ordinary series \(\sum_{k=0}^\iy a_{\nu(k)}.\) However, the limit depends on the choice of \(\nu\) unless the series is absolutely convergent.

Definition 9.3 The open annulus \(A_{r,R}(z_0)\) centered at \(z_0\in\C\) with radii \(0\leqslant r,R\leqslant+\iy\) is the (possibly empty) subset

\[A_{r,R}(z_0)=\{z\in\C\mid r<|z-z_0|<R\}=D_R(z_0)\cap\bigl(\C\setminus\ol D_r(z_0)\bigr).\]The punctured open disk centered at \(z_0\in\C\) with radius \(0<R\leqslant+\iy\) is \[D^\t_R(z_0)=D_R(z_0)\setminus\{z_0\}=A_{0,R}(z_0).\]

The closed annulus is \(\ol{A}_{r,R}(z_0)=\ol{D}_R(z_0)\cap\bigl(\C\setminus D_r(z_0)\bigr).\)

Covered in lectures. Check back once the chapter is concluded.










Using the inversion\[i\colon\C^\t\longra\C^\t, z\longmapsto w=z^{-1}, \tag{9.3}\]

we can rewrite Equation 9.2 as \(P(z)=P_+(z)+P_-(w).\) Therefore we can treat the principal part as a power series as well, but on a second complex \(w\)-plane corresponding to the original complex \(z\)-plane via Equation 9.3.

Lemma 9.1 Let \(0\leqslant r\leqslant+\iy.\) Then

\[i^{-1}(D_r(0))=\C^\t\setminus\ol{D}_{1/r}(0),\qquad i^{-1}(\ol D_r(0))=\C^\t\setminus D_{1/r}(0), \tag{9.4}\]

using the conventions \(1/0=+\iy\) and \(1/+\iy=0.\)

Proposition 9.1 Let \(P\) be a bilateral series. If \(D(P,z_0)\neq\emptyset,\) there are unique radii of convergence \(0\leqslant r,R\leqslant+\iy\) such that

\[A_{r,R}(z_0)\subset D(P)\subset\ol{A}_{r,R}(z_0). \tag{9.5}\]

Here \(r=1/\rho_-,\) \(R=\rho_+\) for the radii of convergence \(\rho_\pm\) of the power series \(P_\pm\) as defined in Theorem 5.1.

Moreover, the series \(P_+(z),\) \(P_-(1/z)\) converge absolutely and uniformly on every annulus \(A_{r',R'}(z_0)\) with \(r<r'<R'<R.\)

Proof.

Covered in lectures. Check back once the chapter is concluded.














If the domain of a bilateral series \(P\) with center \(z_0\) contains an non-empty open annulus \(A_{r,R}(z_0)\subset D(P,z_0),\) then \(P\) is called a (convergent) Laurent series at \(z_0.\)

Pierre Laurent, 1813-1854, [Wikipedia](https://en.wikipedia.org/wiki/Pierre_Alphonse_Laurent). Public Domain](Laurent.jpg)

Pierre Laurent, 1813-1854, Wikipedia. Public Domain

Theorem 9.1 (Laurent expansion) Let \(f\colon U\to\C\) be a holomorphic function on an open set containing a closed annulus \(\ol{A}_{r,R}(z_0).\) Then \(f\) is equal on \(A_{r,R}(z_0)\) to the convergent Laurent series

\[f(z)=\sum_{n=-\iy}^{\iy} a_n(z-z_0)^n.\]Moreover,\[a_n=\frac{1}{2\pi i}\int_{\6D_r(z_0)}\frac{f(\ze)}{(\ze-z_0)^{n+1}}d\ze \tag{9.6}\]

Proof.

Covered in lectures. Check back once the chapter is concluded.
















Definition 9.4 Let \(f\colon U\to\C\) be a holomorphic function. A point \(z_0\in\C\setminus U\) is an isolated singularity of \(f\) if there exists \(R>0\) such that \(D^\t_R(z_0)\subset U.\)

By applying Theorem 9.1 to \(A_{r,R}(z_0)\) for all \(0<r<R\) we obtain a Laurent expansion

\[f(z)=\sum_{n=-\iy}^\iy a_n(z-z_0)^n \tag{9.7}\]

that converges on \(D^\t_R(z_0).\)

Definition 9.5 An isolated singularity of \(f\) is called

  1. removable,
  2. a pole of order \(m\geqslant1,\)
  3. essential,

if the principal part \(\sum_{n=-\iy}^{-1}a_n(z-z_0)^n\) of the Laurent expansion Equation 9.7

  1. is zero,
  2. has \(a_{-m}\neq0\) and \(a_n=0\) for all \(n<-m,\)
  3. has infinitely many non-zero terms.

Covered in lectures. Check back once the chapter is concluded.






Theorem 9.2 (Riemann removable singularities) Let \(z_0\) be an isolated singularity of a holomorphic function \(f\colon U\to\C.\) Suppose there exist \(R,C>0\) such that \(|f(z)|<C\) for all \(z\in D^\t_R(z_0).\) Then \(z_0\) is a removable singularity.

Proof.

Covered in lectures. Check back once the chapter is concluded.




Questions for further discussion

  • Define the sum of formal Laurent series in the same way as Equation 5.2. Why can’t we use Equation 5.3 to define the product of formal Laurent series?
  • In Definition 9.2, why did we exclude \(z=z_0\)?
  • For an isolated singularity, why is \(U\cup\{z_0\}\) always an open set?
  • Does the converse of the Riemann removable singularities theorem hold?

9.1 Exercises

Exercise 9.1

Determine whether the singularities of the following holomorphic functions \(f(z)\) are isolated. If so, compute the residue. When applicable, find also the order of the pole or a holomorphic extension.

  1. \(\frac{z+i}{z^2+1}\),
  2. \(\frac{1-\cos(z)}{z^2}\),
  3. \(\frac{1}{\cos(z)-1}\),
  4. \(e^{1/z}\)
Exercise 9.2

Determine whether the domain \(D(P)\) of the following formal bilateral series \(P\) is non-empty and, if so, find the radii of convergence. i. \(\sum_{n=-\iy}^\iy\frac{z^n}{|n|!}\),

  1. \(\sum_{n=-\iy}^\iy z^n\),

  2. \(\sum_{n=-\iy}^\iy \frac{|n|^{|n|}}{|n|!}z^n.\)

Exercise 9.3

Use the geometric series to find the Laurent expansion of \[f(z)=\frac{1}{z(1-z)}\] on the domains

  1. \(0<|z|<1,\)
  2. \(0<|z-1|<1,\)
  3. \(1<|z|<+\iy.\)
Exercise 9.4

Let \(P=\sum_{n=-\iy}^\iy a_n T^n,\) \(Q=\sum_{n=-\iy}^\iy b_n T^n\) be formal bilateral series. Suppose that both domains \(D(P,z_0),\) \(D(Q,z_0)\) contain a non-empty annulus \(A_{r,R}(z_0).\) Assume that for some radius \(s\) with \(r<s<R\) we have \[P(z)=Q(z),\qquad\text{for all $|z-z_0|=s.$}\]

Prove the identity theorem, namely that \(a_n=b_n\) for all \(n\in\Z.\)

Exercise 9.5

Let \(U\) be open and \(z_0\in U.\) Let \(f\colon U\to\C\) and \(g\colon U\setminus\{z_0\}\to\C\) be holomorphic functions.

  1. If \(f(z_0)\neq0\) and \(g\) has a pole of order one at \(z_0,\) prove that \(fg\) has a pole of order one at \(z_0\) with \[\Res_{z_0}(fg)=f(z_0)\Res_{z_0}(g).\]
  2. If \(f(z_0)=0\) and \(f'(z_0)\neq 0,\) prove that \(1/f(z)\) has a pole of order one at \(z_0\) with \(\Res_{z_0}(1/f)=1/f'(z_0).\)